арифметический предикат


арифметический предикат
Mathematics: arithmetical predicate

Универсальный русско-английский словарь. . 2011.

Смотреть что такое "арифметический предикат" в других словарях:

  • НУМЕРИЧЕСКИ ВЫРАЗИМЫЙ ПРЕДИКАТ — арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством: существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает …   Математическая энциклопедия

  • О формально неразрешимых предложениях —         «О ФОРМАЛЬНО НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЯХ» классическая работа К. Геделя (Godel К. Uber formal unentscheidbare Satze der Principia Mathemati ca und verwandter Systeme, I // Monatshefte fur Mathematik und. Physik. 1931. Bd. 38. S. 173 198;… …   Энциклопедия эпистемологии и философии науки